Brzozowski derivative
Brzozowski derivative(ゾゾウスキ導分)
正規表現を数学的に表現したもの？
Brzozowski derivativeの元論文？はこっち
言語$ \mathcal{L} と記号$ a が与えられたとき，記号$ a についてのゾゾウスキ導分（Brzozowski derivative）は以下のように定義される。
$ D_a(\mathcal{L}) = \{ b \ |\ ab \in \mathcal{L} \}
確認用
Q. Brzozowski derivative
参考
関連
メモ